ABS++ : Assertion Based Subtyping in C++.
نویسندگان
چکیده
منابع مشابه
ABS++: Assertion Based Subtyping in C++
For software engineering to meet today's challenges, well designed reuse and composition mechanisms must be established in both theory and practice. Starting roughly ten years ago, theoretical principles and solution possibilities for assertion annotations in daily practice are being discussed in an ever growing number of papers and web pages. We present a further proposal for C++ that is based...
متن کاملTowards Assertion-based Debugging of Higher-Order (C)LP Programs
Higher-order programming adds flexibility to the software development process. Within the (Constraint) Logic Programming ((C)LP) paradigm, Prolog has included higherorder constructs since the early days, and there have been many other proposals for combining the first-order kernel of (C)LP with different higher-order constructs. Many of these proposals are currently in use in different (C)LP sy...
متن کاملA C++ Class Structure for System-Level Assertion-Based Verification
Assertion-based verification (ABV) is becoming a popular method of capturing requirements for a design and checking the behavior of the design in simulation against its expected behavior. A number of assertion languages are already widely used in industry to perform ABV on register-transfer level (RTL) designs. Meanwhile, new system-level design languages are helping designers manage the growin...
متن کاملFrom Assertion-Based Verification to Assertion-Based Synthesis
We propose a linear complexity approach to achieve automatic synthesis of designs from temporal specifications. It uses concepts from the AssertionBased Verification. Each property is turned into a component combining classical monitor and generator features: the extended-generator. We connect them with specific components to obtain a design that is correct by construction. It shortens the desi...
متن کاملAssertion-based Acceleration
Assertion-based verification (ABV) has been adopted by many successful companies in the global electronics market to help them improve design quality and reduce time-to-market. ABV has evolved in response to the problem of not being able to adequately verify a design’s functional operation. As designs have gotten bigger and design cycles have gotten shorter, traditional simulation has failed to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2006
ISSN: 1660-1769
DOI: 10.5381/jot.2006.5.6.a3